Support Proc literals

[redneckbeard]

A Proc type exists in the types package but is only used in inference for methods that take blocks. .new seems like an achievable goal.