Fix #3: bind implicit args while processing type declarations