added returnStmt (and some tabbing changes)

minor tabbing changes
implemented check of return statement type with method declared return
type