remove top from LAT
berry; debug semantics of eval string loc
uncomment validation related code from main
berry: modified type of is_rec in validator

Type is changed from a function type to a BatMap type for marshalling.
Merge branch 'master' of github.com:skcho/zooberry