fix bug: finding methods in traits was broken
fix bug with enum searching
Give the type-checker hints to avoid annotations