Initial efforts at specifying inference in function bodies and initializers

Initial efforts at specifying inference in function bodies and initializers #640