For now imports of the user modules is needed to get the type
definitions! Bug has been filed.