fix method validation
fix method context
box unvalidated calls args
can now compile defrecord